41. Design for safety
پدیدآورنده : Louis J Gullo, Raytheon Missile Systems, Jack Dixon, Dynamics Research Corporation
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، System safety
رده :
TA
169
.
7
.
D47
2018
42. Designers
پدیدآورنده : edited by Eckart Frankenberger, Herbert Birkhofer, Petra Badke-Schaub.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering design.,Engineering.,System safety.
43. Designing for Network and Service Continuity in Wireless Mesh Network
پدیدآورنده : / by Parth H. Pathak, Rudra Dutta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer Communication Networks,System safety,Telecommunication,Electronic books
رده :
E-BOOK
44. Developing safety systems: A guide using Ada
پدیدآورنده : Ian C. Pyle
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Ada )computer program language(,Computer software- Reliability,System safety,Computer software- Development
رده :
005
.
133
P996D
45. Developing safety systems a guide using Ada
پدیدآورنده : Pyle, Ian C., 4391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Ada )Computer program language(,، Computer software -- Reliability,، System safety,، Computer software -- Development
رده :
QA
76
.
73
.
A35
P95
46. Diagnosis Applications-Fault
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Computer science. ; Systems theory. ; System safety. ; Engineering. ; Control, Robotics, Mechatronics. ; Quality Control, Reliability, Safety and Risk. ; Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences. ;
47. Diagnosis and Fault-Tolerant Control
پدیدآورنده : by Mogens Blanke, Michel Kinnaert, Jan Lunze, Marcel Staroswiecki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemical engineering.,Chemistry.,Computer system performance.,System safety.
48. Die ISO 9001:2015 :
پدیدآورنده : Martin Hinsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Astronautics.,Engineering economy.,Engineering.,System safety.,Astronautics.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Engineering economy.,Engineering.,System safety.
رده :
TA169
.
7
49. Disaster robotics :
پدیدآورنده : Satoshi Tadokoro, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Robots in search and rescue operations.,Artificial intelligence.,Astronautics.,System safety.
رده :
T59
.
5
.
D57
2019
50. Energetic Materials
پدیدآورنده : \ [Edited by] Manoj K. Shukla...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Chemistry, Physical and theoretical,شیمی فیزیک,a03,a03,System safety.,ایمنی سیستمها
رده :
E-Book
,
51. Engineering a safer world
پدیدآورنده : Nancy G. Leveson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Industrial safety.,System safety.
52. Engineering systems reliability, safety, and maintenance :an integrated approach
پدیدآورنده : Dhillon, B. S. )Balbir S.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Engineering systems,، Reliability )Engineering(,، System safety,Maintenance and repair ، Engineering systems
رده :
TA
168
.
D52
2017
53. Experimental and numerical study of glass façade breakage behavior under fire conditions :
پدیدآورنده : Yu Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Glass construction-- Fires and fire prevention.,Computer simulation.,Fire prevention.,System safety.
رده :
TH1560
54. Exploring resilience :
پدیدآورنده : Siri Wiig, Babette Fahlbruch, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : High technology industries-- Safety measures.,Industrial safety.,Risk management.,System safety.,High technology industries-- Safety measures.,Industrial safety.,Risk management.,System safety.
رده :
T55
55. FORMS/FORMAT 2010
پدیدآورنده : Eckehard Schnieder, Gaeza Tarnai, editors
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses
رده :
TA
،
1005
،.
S97
،
2011
56. FORMS/FORMAT 2010
پدیدآورنده : / Eckehard Schnieder, Gaeza Tarnai, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses
رده :
E-BOOK
57. Formal Techniques for Safety-Critical Systems
پدیدآورنده : [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها,ایمنی سیستمها -- کنگره ها ,مهندسی سیستم ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
58. Formal techniques for safety-critical systems :
پدیدآورنده : Cyrille Artho, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
59. Forms/Format 201
پدیدآورنده : / Eckehard Schnieder, Gaeza Tarnai, Editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses,Electronic books
رده :
TA1005
.
F67
2011
60. Forms/Format 2010 :
پدیدآورنده : Eckehard Schnieder, Géza Tarnai, Editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Transportation-- Safety measures-- Data processing, Congresses.
رده :
TA1005
.
F67
2011